\begin{table}
    \begin{tabular}{lll|lllll}
    $N$&$\overline{A}$ & \emph{trial} & \emph{total time} & \emph{\#Grounded} & \emph{\#Boundcond} & \emph{\#PrefSAT} & \emph{\#Pref} \\ \hline \hline
    
    \emph{esempio} & ~ & $1$ 	& 4          & 1          & 5           & 5         & 1      \\
    ~   & ~            & $1^+$	& ~          & ~          & 2           & 4         & ~      \\ \cline{3-8}
    ~   & ~            & $2$ 	& 1          & 1          & 1           & 1         & 1      \\
    ~   & ~            & $2^+$	& ~          & ~          & 0           & 0         & ~      \\ \cline{3-8}
    ~   & ~            & $3$ 	& 3          & 1          & 3           & 3         & 1      \\
    ~   & ~            & $3^+$	& ~          & ~          & ~           & 2         & ~      \\ \hline \hline
    
    50 & 25		       & $a$   		& 100      & 1          & 1           & 1         & 1 \\
    ~   & ~            & $a^+$		& 95         & ~          & ~           & ~ 		& ~ \\ \cline{3-8}
    ~   & ~            & $b$    	& ~          & ~          & ~           & ~         & ~ \\
    ~   & ~            & $b^+$		& ~          & ~          & ~           & ~ 		& ~ \\ \cline{3-8}
    ~   & ~            & $c$   		& ~          & ~          & ~           & ~         & ~ \\
    ~   & ~            & $c^+$		& ~          & ~          & ~           & ~ 		& ~ \\ \hline \hline
    
    50  & 49          & $a$   		& 63000      & 1          & 1           & 1         & 1 \\
    ~   & ~            & $a^+$		& ~          & ~          & ~           & ~ 		& ~ \\ \cline{3-8}
    ~   & ~            & $b$    	& ~          & ~          & ~           & ~         & ~ \\
    ~   & ~            & $b^+$		& ~          & ~          & ~           & ~ 		& ~ \\ \cline{3-8}
    ~   & ~            & $c$   		& ~          & ~          & ~           & ~         & ~ \\
    ~   & ~            & $c^+$		& ~          & ~          & ~           & ~ 		& ~ \\ \hline \hline
    
	100 & 50           & $a$   		& 900     	 & 1          & 1           & 1         & 1 \\
    ~   & ~            & $a^+$		& 850        & ~          & 0         	& ~ 		& ~ \\ \cline{3-8}
    ~   & ~            & $b$    	& 1150       & 1          & 1           & 1         & 1 \\
    ~   & ~            & $b^+$		& 1160       & ~          & 0           & ~ 		& ~ \\ \cline{3-8}
    ~   & ~            & $c$   		& 550        & 1          & 1           & 1         & 1 \\
    ~   & ~            & $c^+$		& 560        & ~          & 0           & ~ 		& ~ \\ \hline \hline
    
    100 & 99           & $a$   		& 6000       & 1          & 1           & 1         & 1 \\
    ~   & ~            & $a^+$		& 6000       & ~          & 0           & ~ 		& ~ \\ \cline{3-8}
    ~   & ~            & $b$    	& 4150       & 1          & 1           & 1         & 1 \\
    ~   & ~            & $b^+$		& 4150       & ~          & 0           & ~ 		& ~ \\ \cline{3-8}
    ~   & ~            & $c$   		& 4700       & 1          & 1           & 1         & 1 \\
    ~   & ~            & $c^+$		& 4700       & ~          & 0           & ~ 		& ~ \\ \hline \hline
    
    200 & 100          & $a$   		& 63000      & 1          & 1           & 1         & 1 \\
    ~   & ~            & $a^+$		& 60000      & ~          & 0           & ~ 		& ~ \\ \cline{3-8}
    ~   & ~            & $b$    	& 34000      & 1          & 1           & 1         & 1 \\
    ~   & ~            & $b^+$		& 33000      & ~  		  & 0           & ~			& ~ \\ \cline{3-8}
    ~   & ~            & $c$    	& 17900      & 1          & 1           & 1         & 1 \\
    ~   & ~            & $c^+$		& 17800      & ~          & 0           & ~ 		& ~ \\ \hline
    
    \end{tabular}
\end{table}
